Failed to solve the following constraints:
  _0 = B : Set (blocked on _0)
Unsolved metas at the following locations:
  Issue1976-constraints2.agda:16,10-11
